<?php

/** @kphp-strict-types-enable */
declare(strict_types=1);

infercast_int_param('foo');
